Analysis in weak systems

The authors survey and comment their work on weak analysis. They describe the basic set-up of analysis in a feasible second-order theory and consider the impact of adding to it various forms of weak Konig's lemma. A brief discussion of the Baire categoricity theorem follows. It is then considered a strengthening of feasibility obtained (fundamentally) by the addition of a counting axiom and showed how it is possible to develop Riemann integration in the stronger system. The paper finishes with three questions in weak analysis.info:eu-repo/semantics/publishedVersio

Quantum Geometry and Quantum Gravity

The purpose of this contribution is to give an introduction to quantum geometry and loop quantum gravity for a wide audience of both physicists and mathematicians. From a physical point of view the emphasis will be on conceptual issues concerning the relationship of the formalism with other more traditional approaches inspired in the treatment of the fundamental interactions in the standard model. Mathematically I will pay special attention to functional analytic issues, the construction of the relevant Hilbert spaces and the definition and properties of geometric operators: areas and volumes.Comment: To appear in the AIP Conference Proceedings of the XVI International Fall Workshop on Geometry and Physics, Lisbon - Portugal, 5-8 September 200

Gestão de projectos de software com QFD e ABC

Dissertação de Mestrado em Sistemas de InformaçãoA situação actual de elevada concorrência comercial coloca múltiplos problemas às organizações que fazem do software o seu Core Business, designadamente, o controlo dos custos, a qualidade do software, a comunicação entre as organizações e os clientes, o controlo da produtividade e a gestão do risco. Ao longo do tempo foram desenvolvidas diversas abordagens à gestão de projectos e, mais recentemente, à gestão de projectos de software, o que por sua vez, despoletou muitas propostas metodológicas para o desenvolvimento do software, concretamente, para gestão do ciclo de vida do software (Cascata, Incremental, Evolutivo, etc.), sendo as mais actuais denominadas metodologias ágeis (XP, Scrum, Crystal, etc.). Acontece que as metodologias tradicionais, e mesmo as mais modernas, não conseguiram, ainda, dar resposta aos principais problemas da gestão de projectos de software. Estes problemas não são exclusivos desta área, pois em todas as áreas da indústria, com maior ou menor intensidade, tem-se verificado a existência destes mesmos problemas, para os quais foram sendo desenvolvidas soluções, com bons resultados, designadamente o desdobramento da qualidade (QFD), o custeio por actividades (ABC) e a sua mais recente evolução, o custeio por actividades orientado ao tempo (Time-Driven ABC), a orçamentação por actividades (ABB) e a correspondente versão temporal (Time-Driven ABB). Estas são opções que, ainda, estão a dar os primeiros passos na indústria do software, existindo muito poucos trabalhos sobre a sua aplicação, de forma integrada, à gestão de projectos de software. O principal objectivo desta dissertação é propor um Framework de Gestão de Projectos de Software, que procure dar resposta aos problemas que inquietam as organizações dedicadas à produção de software, mediante a aplicação do QFD, o ABC/Time-Driven ABC e ABB/Time-Driven ABB, integrados por meio da Engenharia do Valor (EV) ou de modelos de Programação Linear (LP) – que funcionam como elementos agregadores do framework; para o controlo e monitorização da qualidade e dos custos é proposta a utilização da gestão do valor ganho (EVM).The current situation of high commercial competition, poses many problems for organizations that make software its Core Business, in particular, control costs, software quality, communication between organizations and customers, productivity control and risk management. Over time, were developed several approaches to the management of projects and, more recently, to software project management, which in turn, triggered many methodological proposals for software development, specifically for managing the software life cycle (Waterfall, Incremental, Evolutionary, etc.), the most current called agile methodologies (XP, Scrum, Crystal, etc.). However, the traditional methods, and even the most modern, failed responding to the main problems of software project management. These problems are not exclusive from this area, because all areas of industry, with greater or lesser intensity, record the existence of these same problems, for which solutions were developed, with good results, including quality function deployment (QFD), activity-based costing (ABC) and its latest developments, time-driven activitybased costing (Time-Driven ABC), activity-based budgeting (ABB) and the corresponding time-driven version (Time-Driven ABB). These are options that are still taking the first steps in software industry, where is very little work on its application, in an integrated way, to software project management. The main objective of this dissertation is to propose a Software Project Management Framework, which seeks to respond to the problems that concern organizations dedicated to software production, by application of QFD, ABC/Time-Driven ABC and ABB/Time-Driven ABB, integrated through Value Engineering (EV) or models of Linear Programming (LP) - functioning as framework aggregation elements; for the control and monitoring of quality and costs is proposed the usage of earned value management (EVM)

The repellent role of institutions

The quality of care needs to provide greater attention and humanization to users, not only with regard to building empathy, but also with regard to overcoming institutional barriers that can operate as decisive factors for adherence and full access to services. These barriers are not only the result of institutional or socio-legal mechanisms that regulate the functioning of institutions; they also place themselves, above all, at the core of the relationships and interactions between professionals and users of the system.A qualidade do cuidado carece de maior atenção e humanização aos usuários, não apenas no que se refere à construção da empatia, mas também, em relação à superação de barreiras institucionais que podem funcionar, como fatores decisivos, para a adesão e o acesso pleno aos serviços. Essas barreiras, não são apenas resultado de mecanismos institucionais ou sociojurídicos que regulam o funcionamento das instituições; elas se colocam também, e, sobretudo, no cerne das relações e interações entre profissionais e usuários do sistema

Impactos da microbiota intestinal na saúde do lactente e da criança em curto e longo prazo

Background: There is sufficient evidence to support the importance of programming in the perinatal period and early life in the prevention or development of disease throughout life. Methods: Using as main references the lectures in ESPGHAN 2016 we made a literature review in the databases PubMed, Scielo and Google Scholar, the main objective is to show the importance of the impacts of the intestinal microbiota in the health of infants and children in the short and long term. Findings: It is documented from a fetal epigenetic imprinting by bacterial translocation during pregnancy, which provides the offspring one microbiome intrauterine pioneer. The presence of maternal components of the microflora of the fetus in utero is an important fetal immune system development supply leading to the induction of oral tolerance and respiratory allergens, but may also result in an unfavorable epigenetic factor in maternal obesity. Conclusions: It is clear and evident the importante of pediatricians in monitoring the development of the intestinal microbiota of children from intrauterine life. There are several windows of opportunity for the child’s programming intervention to minimize the impact on health in the short and long term

Contribuição para o estudo do bacalhau Gadus morhua

Mestrado em Biologia MarinhaTraceability is one of the most used tools to control fish origin and can contribute to improve product quality and safety. However, until now the methods used to identify the fish origin and its chemical and biological characteristics involve the loss of commercial value of the fish sampled. It should be noticed also that all these methods are too time-consuming and have expensive costs for the manufacturing industry. This work was performed based on the real needs of the manufacturing and drying industry of codfish and in a perspective of developing an efficient and inexpensive method for traceability analysis of dry salted codfish species using a PCR-DGGE approach.A rastreabilidade é uma das ferramentas mais usadas no controlo de origem de pescado e pode contribuir para a qualidade e segurança do produto. Contudo, até à data, os métodos usados na identificação da origem do pescado assim como das suas características químicas e biológicas envolve a perda de valor comercial do pescado amostrado. Saliente-se também que todos estes métodos são demasiado morosos e com custos dispendiosos para a indústria de transformação. Este trabalho foi realizado com o sentido de auscultar necessidades reais da indústria de transformação e secagem de bacalhau e numa perspetiva de desenvolvimento de um método eficiente e menos dispendioso de rastreabilidade de espécies de bacalhau salgado seco recorrendo a uma estratégia de PCR-DGGE